<html xmlns="http://www.w3.org/1999/xhtml">
 <head>
  <meta charset="utf-8"/>
  <link href="themes/blue/style.css" rel="StyleSheet" type="text/css"/>
  <style type="text/css">
   header { background-color:white;} .drag {position:absolute;}
  </style>
  <script src="tablesorter/jquery-latest.js" type="text/javascript">
  </script>
  <script src="tablesorter/jquery.tablesorter.js" type="text/javascript">
  </script>
  <script src="external/mousescroll.js" type="text/javascript">
  </script>
  <script src="external/jquery.drag.js" type="text/javascript">
  </script>
  <script src="external/jquery.drop.js" type="text/javascript">
  </script>
  <script type="text/javascript">
   $(function () {
 $("#tab1").tablesorter({sortList:[[0,20]]});  
     });
  </script>
  <script>
  </script>
  <script type="text/javascript">
   parent.document.getElementById('result4-name').innerHTML = "All Identifiers Substrings By File";
  </script>
  <title>
   All Identifiers Substrings By File
  </title>
 </head>
 <body bgcolor="#ffffff">
  <br/>
  <table class="tablesorter" id="tab1">
   <thead>
    <tr>
     <th class="header">
      substring
     </th>
     <th class="header">
      identifiers
     </th>
     <th class="header">
      occurences
     </th>
     <th class="header">
      total
     </th>
    </tr>
   </thead>
   <tbody>
    <tr>
     <td>
      pmhanoi
     </td>
     <td>
      (pmhanoi)
     </td>
     <td>
      1
     </td>
     <td>
      2
     </td>
    </tr>
    <tr>
     <td>
      OF
     </td>
     <td>
      (NUMBER_OF_DISKS)
     </td>
     <td>
      1
     </td>
     <td>
      6
     </td>
    </tr>
    <tr>
     <td>
      NUMBER
     </td>
     <td>
      (NUMBER_OF_DISKS)
     </td>
     <td>
      1
     </td>
     <td>
      6
     </td>
    </tr>
    <tr>
     <td>
      nullhandle
     </td>
     <td>
      (NULLHANDLE)
     </td>
     <td>
      1
     </td>
     <td>
      2
     </td>
    </tr>
    <tr>
     <td>
      hanoi
     </td>
     <td>
      (hanoi)
     </td>
     <td>
      1
     </td>
     <td>
      3
     </td>
    </tr>
    <tr>
     <td>
      DISKS
     </td>
     <td>
      (NUMBER_OF_DISKS)
     </td>
     <td>
      1
     </td>
     <td>
      6
     </td>
    </tr>
    <tr>
     <td>
      client
     </td>
     <td>
      (client)
     </td>
     <td>
      1
     </td>
     <td>
      4
     </td>
    </tr>
   </tbody>
  </table>
 </body>
</html>